29 résultats
Filtres
- Droits d'accès
- public 24
- unige_restricted 5
Collections
Complexité et calculabilité / coursDocuments
Cours 11 et 12 : Exemples de réductions (11) et Théorème de Cook-Levin (12) |
Cours 10 : NP-complétude |
Cours 9 : Classe NP |
Cours 8 : Relations connues; non-déterminisme; théorème de Savitch |
Cours 7 - Classes de complexité basiques |
Complexité et calculabilité / exercices (révision) |
Cours 6 : Introduction à la complexité algorithmique |
Cours 5 : Théorème de Rice (et degrés de Turing) |
Cours 4 : Diagonalisation et indécidabilité |
Cours 3 : Décidable, reconnaissable, simulation |
Cours 2 : Rappels de langages formels |
Algorithmique / cours |
Algorithmique / cours |
Algorithmique / cours |
Algorithmique / cours |
Algorithmique / cours |
Algorithmique / cours |
Cours 12 - Universalité et indécidabilité |
Cours 11 - Machines de Turing (divers) |
Cours 10 - Machines de Turing (déterministes) |
Cours 9 - Lemme de l’étoile (hors-contexte) |
Cours 8 - Équivalence AP - GHC |
Cours 7 - Automates à pile |
Cours 6 - Grammaires formelles |
Cours 5 - Lemme de l'étoile (+ fin des expressions régulières) |
Cours 4 - Expressions régulières |
Cours 3 - Non-déterminisme |
Cours 2 - Automates finis |
Cours 1 - Concepts de base |